Efficient Type-Checking for Amortised Heap-Space Analysis Martin Hofmann and Dulma Rodriguez Department of Computer Science, University of Munich Oettingenstr. 67, DM¨ unchen, Germany

Source URL: www.tcs.ifi.lmu.de

Logo_Elevation Days_150115

Source URL: www.hanssauerstiftung.de

• Munich
• Sauer
• Social design

M PRA Munich Personal RePEc Archive Building trust: public policy, interpersonal trust and economic development

Source URL: mpra.ub.uni-muenchen.de

SONGWORDS: EXPLORING MUSIC COLLECTIONS THROUGH LYRICS Dominikus Baur, Bartholom¨aus Steinmayr, Andreas Butz Media Informatics Group University of Munich (LMU), Munich, Germany {dominikus.baur,andreas.butz}@ifi.lmu.de, s

Source URL: www.medien.ifi.lmu.de

• Music information retrieval
• User interface techniques
• Music technology
• Humancomputer interaction
• International Society for Music Information Retrieval
• Multimedia
• Interaction technique
• Tag
• Information retrieval
• User interface
• Search engine technology
• Self-organizing map

Designing Media Architecture: A Research Agenda for Urban Interfaces Alexander Wiethoff University of Munich (LMU), Germany

Source URL: www.medien.ifi.lmu.de

• Humancomputer interaction
• Design
• Technical communication
• Usability
• User interfaces
• Interaction design
• Interactive systems engineering
• User experience
• Participatory design
• User-centered design
• Interface
• Simulation

Nachrichten von der Historischen Commission bei der Königlich Bayerischen Akademie der Wissenschaften [Munich], Zweiter Jahrgang, Zweites Stück (Beilage zur Historischen Zeitschrift, 5), Munichpp: B. ERD

Source URL: 141.84.81.24

Computing With a Fixed Number of Pointers Martin Hofmann and Ramyaa Ramyaa Ludwig Maximilian University Munich, Germany {hofmann,ramyaa}@ifi.lmu.de

Source URL: www.tcs.ifi.lmu.de

Querying Factorized Probabilistic Triple Databases Denis Krompaß1 , Maximilian Nickel2 , and Volker Tresp1,3 1 Ludwig Maximilian University, 80538 Munich, Germany

Source URL: www.dbs.ifi.lmu.de

OpenServiceCatalogManager a Framework and Tooling for End-User Friendly Management and Provisioning of Cloud (Native) Workloads Wolfgang Ries, Fujitsu Enabling Software Technology GmbH, Munich March

Source URL: events.linuxfoundation.org

Synthesizing Cardinality Invariants for Parameterized Systems Klaus v. Gleissenthall, TU Munich Nikolaj Bjørner and Andrey Rybalchenko, Microsoft Research

Source URL: pv.dibris.unige.it